1. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings
Author: edited by D. Bjorner
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
86
2. Abstract software specifications : 1979 Copenhagen Winter school : proceedings
Author: edited by D. Bjorner
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
86
3. Images of programming ; dedicated to the memory of A. P. Ershov
Author: edited by D. Bjorner, V. Kotov
Library: (Kerman)
Subject: ، Computer programming - Computer-assisted instruction,، Computer programming,، Ershov, A. P.
Classification :
QA
76
.
6
.
I5
1991
4. Towards a formal description of Ada
Author: edited by D. Bjorner and O.N. Oest
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Ada )Computer program language(,، Computer input-output equipment
Classification :
QA
76
.
L28
Vol
.
98
5. Towards a formal description of Ada
Author: edited by D. Bjorner and O. N. Oest
Library: (Kerman)
Subject: ، Ada )Computer program language(,Semantics ، Programming languages )Electronic computers(
Classification :
QA
76
.
73
.
A35
T68
1980
6. Towards a formal description of Ada
Author: edited by D. Bjorner and O.N. Oest
Library: Central Library and Documentation Center (Kerman)
Subject: ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
Classification :
QA
76
.
L4
v
.
98
7. VDM '87: VDM-a formal method at work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987: Proceedings
Author: edited by D. Bjorner...]et al.[
Library: (Kerman)
Subject: Development - Congresses ، Computer software,European Economic Community Countries - Congresses ، Computer software industry
Classification :
QA
76
.
76
.
D47
V85
1989
8. VDM' 87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, proceedings
Author: edited by D. Bjorner...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Computer software industry -- European Economic Community countries
Classification :
QA
76
.
L28
Vol
.
252
